61. Adaptive Resonance Theory Microchips

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Engineering.,Logic, Symbolic and mathematical.

62. Advances in Computational Intelligence :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computers.,Logic, Symbolic and mathematical.

63. Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador da Bahia, Brazil

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer logic,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
L36B7
1996

64. Alan Turing :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Turing, Alan,1912-1954,Computer science-- Mathematics,Enigma cipher system,Logic, Symbolic and mathematical,Mathematicians-- Great Britain, Biography

رده :
QA29
.
T8
C65
2013

65. Alan Turing : his work and impact

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : ، Turing, Alan Mathison,2191-4591,Biography ، Mathematicians - Great Britain,Mathematics ، Computer science,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8
C65
2013

66. Alan Turing : his work and impact

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Turing, Alan Mathison, 2191-4591,Biography ، Mathematicians -- Great Britain,، Computer science -- Mathematics,، Enigma cipher system,، Logic, Symbolic and mathematical

رده :
QA
29
.
T8C66

67. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics

رده :
QA
9
.
A1A42

68. Algebraic and logic programming, international workshop, Gaussig, GDR, November 1988, proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Algebraic logic-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
QA
10
.
I5
1988

69. Algebraic foundations in computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics.

رده :
QA76
.
9
.
M35
A44
2011

70. American g

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

71. An introduction to mathematical logic and type theory : to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638
1986

72. An introduction to mathematical logic and type theory: to truth through proof

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Type theory

رده :
QA
9
.
A638

73. An introduction to mathemational machine theory

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Electronic data processing,Mathematical models,Automata,Logic, Symbolic and mathematical

رده :
510
.
78
Gi-I

74. Artificial Intelligence in Logic Design

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computer engineering.,Computer science.,Computer-aided design.,Logic, Symbolic and mathematical.

75. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1476

76. Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1930

77. Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
3249

78. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
4120

79. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses

رده :
Q
334
.
A766
1996

80. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses

رده :
Q
334
.
I5488
1992